Modeling Hysteresis in CLIP – The Tank Flow Problem

نویسندگان

  • David K. Wittenberg
  • Timothy J. Hickey
چکیده

Hickey and Wittenberg (Hickey and Wittenberg, 2004) study the “Two Tanks Problem”, a hybrid system described by Stursberg et al. (Stursberg et al., 1997). In this paper, we expand on the use of CLIP (Hickey, 2000) (a Constraint Logic Programming over Intervals and Functions language) to formally describe more complex systems. We add complexity in several forms. The simplest is to have a larger system. We move from a system with two tanks to one with four tanks, and we add non-linear valves to the pipes connecting the tanks. This example easily generalizes to an N-tanks problem where the tanks, connected by pipes, form an arbitrarily complex graph. The more important addition is the refinement of the model in several places. We rigorously model a valve in which the flow varies exponentially with the valve position over much of the valve’s range, and then discontinuously as the valve is almost closed. We introduce hysteresis in our analysis to avoid an infinite loop of zero-time transitions, and we discuss why our techniques should not have trouble with “Zeno” transitions. The possibility of Zeno behaviour (Zhang et al., 2001) can arise either from physical reasons (a value near zero, so the sign of the changes is hard to know) or for modeling reasons (the system is near the boundary between two behaviour regimes, and while both regimes describe similar behaviour near the boundary, the model might switch between the two regimes infinitely often in a finite time). An elegant feature of our model is that we use the same technique of hysteresis to prevent the Zeno behaviour from either cause. This is easily done in CLIP by changing the conditions for a state change from one to the other to include hysteresis.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

CFD Modeling of Gas-Liquid Hydrodynamics in a Stirred Tank Reactor

Multiphase impeller stirred tank reactors enhance mixing of reacting species used in a variety of chemical industries. These reactors have been studied based on Computational Fluid Dynamics (CFD) that can be used in the analysis, design and scale up of these reactors. Most of the researches done in this area are limited to single phase reactors, and a few remaining two phase flow investigat...

متن کامل

Investigating the effect of flow entrance and existence of baffle on sedimentation efficiency using Discrete Phase Model (DPM)

Presence of salts in water has been one of the biggest problems of industrial equipment such as evaporators, boilers, and pipes. These salts gradually form scales on evaporators and boilers tubes and reduce their efficiency. Pretreatment processes are conducted to remove these salts; with sedimentation tanks being one of the essential equipment used in these processes. This study numerically si...

متن کامل

STAGE-DISCHARGE MODELING USING SUPPORT VECTOR MACHINES

Establishment of rating curves are often required by the hydrologists for flow estimates in the streams, rivers etc. Measurement of discharge in a river is a time-consuming, expensive, and difficult process and the conventional approach of regression analysis of stage-discharge relation does not provide encouraging results especially during the floods. P

متن کامل

Nonlinear Dynamic Modeling and Hysteresis Analysis of Aerospace Hydro - dynamical Control Valves

A new procedure for deriving nonlinear mathematical modeling for a specific class of aerospace hydro - mechanical control valves is presented. The effects of friction on the dynamic behavior of these types of valves along with the experimental verifictions are also given. The modeling approach is based on the combination of the following three tasks: decomposition of the valve into simple speci...

متن کامل

Applying zoning method for numerical modeling of two immiscible fluid interface motion in an underwater tank using BEM

In this study, boundary element method was used to model sea wave propagation on a hemisphere shape under water tank and oil-water common surface oscillation in the tank. Also, kinematic and dynamic oundary conditions of free surface and common surface of oil and water were discritized by Finite difference method. There were some singularities in BEM method, which were removed by applying zonin...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006